I am interested in calling into Ciao code from a C main() function (NOT calling into C from ciao code). I looked through documentation but could not find clear instructions on how to do this. This would need to involve probably initializing ciao VM from C and using Ciao VM C API to evaluate code from a C string, and calling into Ciao's namespace with symbol names using C API .��