(module JC.Generator)