public static function init() { if (!self::$alreadyInitialized) { self::$ordered = new PiBX_AST_StructureType('ordered'); self::$choice = new PiBX_AST_StructureType('choice'); self::$alreadyInitialized = true; } }