Intermediate language used by the Spineless Tagless G-maCHIne (an abstract maCHIne based on graph reduction) designed as a target for compilation of non-strict functional languages. "The Spineless tagless G- maCHIne", S. Peyton Jones et al, Fourth Intl Conf Func Prog Langs and Comp Arch pp.184-201, ACM Sept 1989.