[console_scripts]
kissat = sagelite_kissat.runtime:kissat
