<> <> <<>> run RealConvertImpl; run GriffinToJaMPackage;