method virtual_flag : virtual_flag -> virtual_flag =
                  function
                  | ViVirtual -> ViVirtual
                  | ViNil -> ViNil
                  | ViAnt _x -> let _x = o#string _x in ViAnt _x