A prototype for symbolically executing a scheme-like program