cycbison
string_cycbison.simple.cyc