INSTANCE built_in_function#18; name = "SIZEOF"; formal_parameters = [formal_parameter#21]; return_type = simple_type(integer_type); END_INSTANCE;