(PROGRAM (VAR v 2) (CFG (CFGPROD x (CFGPRODELEMSET "foo"))))