# byproducts of check-grammar
def
df
use
use-k
use-t