doc
gensym + explicites
ctu/gps1_repl