Added libAgentREPL.c