#include "types.h" char* compileGroundProgram(GroundProgram* program);