[Ciao-users] Calling into Ciao from C main function