(PROGRAM (CFG (CFGPROD x (CFGPRODELEMSET "foo"))))