
/* WARNING: Unknown calling convention */

Backend * select_backend(Conf *conf)

{
  return (Backend *)PTR_pty_backend_000a7770;
}



undefined * select_backend(void)

{
  return PTR_pty_backend_000a7770;
}


lui gp,0x4
addiu gp,gp,0x26f0
addu gp,gp,t9
jr ra
_lw v0,-0x7920(gp)
(translation_unit "undefined * select_backend(void)\n\n{\n  return PTR_pty_backend_000a7770;\n}\n\n" (function_definition "undefined * select_backend(void)\n\n{\n  return PTR_pty_backend_000a7770;\n}" type_identifier (pointer_declarator "* select_backend(void)" * (function_declarator "select_backend(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) )))) (compound_statement "{\n  return PTR_pty_backend_000a7770;\n}" { (return_statement "return PTR_pty_backend_000a7770;" return identifier ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nBackend * select_backend(Conf *conf)\n\n{\n  return (Backend *)PTR_pty_backend_000a7770;\n}\n\n" comment (function_definition "Backend * select_backend(Conf *conf)\n\n{\n  return (Backend *)PTR_pty_backend_000a7770;\n}" type_identifier (pointer_declarator "* select_backend(Conf *conf)" * (function_declarator "select_backend(Conf *conf)" identifier (parameter_list "(Conf *conf)" ( (parameter_declaration "Conf *conf" type_identifier (pointer_declarator "*conf" * identifier)) )))) (compound_statement "{\n  return (Backend *)PTR_pty_backend_000a7770;\n}" { (return_statement "return (Backend *)PTR_pty_backend_000a7770;" return (cast_expression "(Backend *)PTR_pty_backend_000a7770" ( (type_descriptor "Backend *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ;) })))
(translation_unit "undefined * select_backend(void)\n\n{\n  return PTR_pty_backend_000a7770;\n}\n\n" (function_definition "undefined * select_backend(void)\n\n{\n  return PTR_pty_backend_000a7770;\n}" type_identifier (pointer_declarator "* select_backend(void)" * (function_declarator "select_backend(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) )))) (compound_statement "{\n  return PTR_pty_backend_000a7770;\n}" { (return_statement "return PTR_pty_backend_000a7770;" return identifier ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) )))) (compound_statement { (return_statement return IDENT ;) })))
(function_definition "undefined * select_backend(void)\n\n{\n  return PTR_pty_backend_000a7770;\n}" (type_identifier "undefined") (pointer_declarator "* select_backend(void)" (* "*") (function_declarator "select_backend(void)" (identifier "select_backend") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")")))) (compound_statement "{\n  return PTR_pty_backend_000a7770;\n}" ({ "{") (return_statement "return PTR_pty_backend_000a7770;" (return "return") (identifier "PTR_pty_backend_000a7770") (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 * function_1(type_2 *conf)

{
  return (type_1 *)PTR_pty_backend_000a7770;
}


(translation_unit (function_definition type: (type_identifier) declarator: (pointer_declarator declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type))))) body: (compound_statement (return_statement (identifier)))))

undefined * MASKED(void)

{
  return PTR_pty_backend_000a7770;
}

