Geppetto compiler