
void set_custom_quoting(quoting_options *o,char *left_quote,char *right_quote)

{
  if (o == (quoting_options *)0x0) {
    o = &default_quoting_options;
  }
  o->style = custom_quoting_style;
  if ((left_quote != (char *)0x0) && (right_quote != (char *)0x0)) {
    o->left_quote = left_quote;
    o->right_quote = right_quote;
    return;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}



void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)

{
  if (param_1 == (undefined4 *)0x0) {
    param_1 = (undefined4 *)&DAT_00109300;
  }
  *param_1 = 10;
  if ((param_2 != 0) && (param_3 != 0)) {
    *(long *)(param_1 + 10) = param_2;
    *(long *)(param_1 + 0xc) = param_3;
    return;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}


TEST RDI,RDI
LEA RAX,[0x109300]
CMOVZ RDI,RAX
MOV dword ptr [RDI],0xa
TEST RSI,RSI
JZ 0x00103d69
TEST RDX,RDX
JZ 0x00103d69
MOV qword ptr [RDI + 0x28],RSI
MOV qword ptr [RDI + 0x30],RDX
RET
SUB RSP,0x8
CALL 0x00102040
(translation_unit "void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)\n\n{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" (function_definition "void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)\n\n{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" primitive_type (function_declarator "FUN_00103d42(undefined4 *param_1,long param_2,long param_3)" identifier (parameter_list "(undefined4 *param_1,long param_2,long param_3)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (if_statement "if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" if (parenthesized_expression "(param_1 == (undefined4 *)0x0)" ( (binary_expression "param_1 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" { (expression_statement "param_1 = (undefined4 *)&DAT_00109300;" (assignment_expression "param_1 = (undefined4 *)&DAT_00109300" identifier = (cast_expression "(undefined4 *)&DAT_00109300" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_00109300" & identifier))) ;) })) (expression_statement "*param_1 = 10;" (assignment_expression "*param_1 = 10" (pointer_expression "*param_1" * identifier) = number_literal) ;) (if_statement "if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" if (parenthesized_expression "((param_2 != 0) && (param_3 != 0))" ( (binary_expression "(param_2 != 0) && (param_3 != 0)" (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) && (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) ))) )) (compound_statement "{\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" { (expression_statement "*(long *)(param_1 + 10) = param_2;" (assignment_expression "*(long *)(param_1 + 10) = param_2" (pointer_expression "*(long *)(param_1 + 10)" * (cast_expression "(long *)(param_1 + 10)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 10)" ( (binary_expression "param_1 + 10" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(long *)(param_1 + 0xc) = param_3;" (assignment_expression "*(long *)(param_1 + 0xc) = param_3" (pointer_expression "*(long *)(param_1 + 0xc)" * (cast_expression "(long *)(param_1 + 0xc)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) = identifier) ;) (return_statement "return;" return ;) })) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void set_custom_quoting(quoting_options *o,char *left_quote,char *right_quote)\n\n{\n  if (o == (quoting_options *)0x0) {\n    o = &default_quoting_options;\n  }\n  o->style = custom_quoting_style;\n  if ((left_quote != (char *)0x0) && (right_quote != (char *)0x0)) {\n    o->left_quote = left_quote;\n    o->right_quote = right_quote;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" (function_definition "void set_custom_quoting(quoting_options *o,char *left_quote,char *right_quote)\n\n{\n  if (o == (quoting_options *)0x0) {\n    o = &default_quoting_options;\n  }\n  o->style = custom_quoting_style;\n  if ((left_quote != (char *)0x0) && (right_quote != (char *)0x0)) {\n    o->left_quote = left_quote;\n    o->right_quote = right_quote;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" primitive_type (function_declarator "set_custom_quoting(quoting_options *o,char *left_quote,char *right_quote)" identifier (parameter_list "(quoting_options *o,char *left_quote,char *right_quote)" ( (parameter_declaration "quoting_options *o" type_identifier (pointer_declarator "*o" * identifier)) , (parameter_declaration "char *left_quote" primitive_type (pointer_declarator "*left_quote" * identifier)) , (parameter_declaration "char *right_quote" primitive_type (pointer_declarator "*right_quote" * identifier)) ))) (compound_statement "{\n  if (o == (quoting_options *)0x0) {\n    o = &default_quoting_options;\n  }\n  o->style = custom_quoting_style;\n  if ((left_quote != (char *)0x0) && (right_quote != (char *)0x0)) {\n    o->left_quote = left_quote;\n    o->right_quote = right_quote;\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (if_statement "if (o == (quoting_options *)0x0) {\n    o = &default_quoting_options;\n  }" if (parenthesized_expression "(o == (quoting_options *)0x0)" ( (binary_expression "o == (quoting_options *)0x0" identifier == (cast_expression "(quoting_options *)0x0" ( (type_descriptor "quoting_options *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    o = &default_quoting_options;\n  }" { (expression_statement "o = &default_quoting_options;" (assignment_expression "o = &default_quoting_options" identifier = (pointer_expression "&default_quoting_options" & identifier)) ;) })) (expression_statement "o->style = custom_quoting_style;" (assignment_expression "o->style = custom_quoting_style" (field_expression "o->style" identifier -> field_identifier) = identifier) ;) (if_statement "if ((left_quote != (char *)0x0) && (right_quote != (char *)0x0)) {\n    o->left_quote = left_quote;\n    o->right_quote = right_quote;\n    return;\n  }" if (parenthesized_expression "((left_quote != (char *)0x0) && (right_quote != (char *)0x0))" ( (binary_expression "(left_quote != (char *)0x0) && (right_quote != (char *)0x0)" (parenthesized_expression "(left_quote != (char *)0x0)" ( (binary_expression "left_quote != (char *)0x0" identifier != (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) && (parenthesized_expression "(right_quote != (char *)0x0)" ( (binary_expression "right_quote != (char *)0x0" identifier != (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) ))) )) (compound_statement "{\n    o->left_quote = left_quote;\n    o->right_quote = right_quote;\n    return;\n  }" { (expression_statement "o->left_quote = left_quote;" (assignment_expression "o->left_quote = left_quote" (field_expression "o->left_quote" identifier -> field_identifier) = identifier) ;) (expression_statement "o->right_quote = right_quote;" (assignment_expression "o->right_quote = right_quote" (field_expression "o->right_quote" identifier -> field_identifier) = identifier) ;) (return_statement "return;" return ;) })) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)\n\n{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    \n  abort();\n}\n\n" (function_definition "void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)\n\n{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    \n  abort();\n}" primitive_type (function_declarator "FUN_00103d42(undefined4 *param_1,long param_2,long param_3)" identifier (parameter_list "(undefined4 *param_1,long param_2,long param_3)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    \n  abort();\n}" { (if_statement "if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" if (parenthesized_expression "(param_1 == (undefined4 *)0x0)" ( (binary_expression "param_1 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" { (expression_statement "param_1 = (undefined4 *)&DAT_00109300;" (assignment_expression "param_1 = (undefined4 *)&DAT_00109300" identifier = (cast_expression "(undefined4 *)&DAT_00109300" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_00109300" & identifier))) ;) })) (expression_statement "*param_1 = 10;" (assignment_expression "*param_1 = 10" (pointer_expression "*param_1" * identifier) = number_literal) ;) (if_statement "if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" if (parenthesized_expression "((param_2 != 0) && (param_3 != 0))" ( (binary_expression "(param_2 != 0) && (param_3 != 0)" (parenthesized_expression "(param_2 != 0)" ( (binary_expression "param_2 != 0" identifier != number_literal) )) && (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) ))) )) (compound_statement "{\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" { (expression_statement "*(long *)(param_1 + 10) = param_2;" (assignment_expression "*(long *)(param_1 + 10) = param_2" (pointer_expression "*(long *)(param_1 + 10)" * (cast_expression "(long *)(param_1 + 10)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 10)" ( (binary_expression "param_1 + 10" identifier + number_literal) )))) = identifier) ;) (expression_statement "*(long *)(param_1 + 0xc) = param_3;" (assignment_expression "*(long *)(param_1 + 0xc) = param_3" (pointer_expression "*(long *)(param_1 + 0xc)" * (cast_expression "(long *)(param_1 + 0xc)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) = identifier) ;) (return_statement "return;" return ;) })) (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration (sized_type_specifier long) IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression & IDENT))) ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != LIT) )) && (parenthesized_expression ( (binary_expression IDENT != LIT) ))) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( ))) ;) })))
(function_definition "void FUN_00103d42(undefined4 *param_1,long param_2,long param_3)\n\n{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    \n  abort();\n}" (primitive_type "void") (function_declarator "FUN_00103d42(undefined4 *param_1,long param_2,long param_3)" (identifier "FUN_00103d42") (parameter_list "(undefined4 *param_1,long param_2,long param_3)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "long param_2" (sized_type_specifier "long" (long "long")) (identifier "param_2")) (, ",") (parameter_declaration "long param_3" (sized_type_specifier "long" (long "long")) (identifier "param_3")) () ")"))) (compound_statement "{\n  if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }\n  *param_1 = 10;\n  if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }\n                    \n  abort();\n}" ({ "{") (if_statement "if (param_1 == (undefined4 *)0x0) {\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" (if "if") (parenthesized_expression "(param_1 == (undefined4 *)0x0)" (( "(") (binary_expression "param_1 == (undefined4 *)0x0" (identifier "param_1") (== "==") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    param_1 = (undefined4 *)&DAT_00109300;\n  }" ({ "{") (expression_statement "param_1 = (undefined4 *)&DAT_00109300;" (assignment_expression "param_1 = (undefined4 *)&DAT_00109300" (identifier "param_1") (= "=") (cast_expression "(undefined4 *)&DAT_00109300" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "&DAT_00109300" (& "&") (identifier "DAT_00109300")))) (; ";")) (} "}"))) (expression_statement "*param_1 = 10;" (assignment_expression "*param_1 = 10" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (number_literal "10")) (; ";")) (if_statement "if ((param_2 != 0) && (param_3 != 0)) {\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" (if "if") (parenthesized_expression "((param_2 != 0) && (param_3 != 0))" (( "(") (binary_expression "(param_2 != 0) && (param_3 != 0)" (parenthesized_expression "(param_2 != 0)" (( "(") (binary_expression "param_2 != 0" (identifier "param_2") (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")"))) () ")")) (compound_statement "{\n    *(long *)(param_1 + 10) = param_2;\n    *(long *)(param_1 + 0xc) = param_3;\n    return;\n  }" ({ "{") (expression_statement "*(long *)(param_1 + 10) = param_2;" (assignment_expression "*(long *)(param_1 + 10) = param_2" (pointer_expression "*(long *)(param_1 + 10)" (* "*") (cast_expression "(long *)(param_1 + 10)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 10)" (( "(") (binary_expression "param_1 + 10" (identifier "param_1") (+ "+") (number_literal "10")) () ")")))) (= "=") (identifier "param_2")) (; ";")) (expression_statement "*(long *)(param_1 + 0xc) = param_3;" (assignment_expression "*(long *)(param_1 + 0xc) = param_3" (pointer_expression "*(long *)(param_1 + 0xc)" (* "*") (cast_expression "(long *)(param_1 + 0xc)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) (= "=") (identifier "param_3")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "abort();" (call_expression "abort()" (identifier "abort") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")))

void function_1(type_1 *var_1,char *var_2,char *var_3)

{
  if (var_1 == (type_1 *)0x0) {
    var_1 = &default_quoting_options;
  }
  var_1->style = custom_quoting_style;
  if ((var_2 != (char *)0x0) && (var_3 != (char *)0x0)) {
    var_1->var_2 = var_2;
    var_1->var_3 = var_3;
    return;
  }
                    /* WARNING: Subroutine does not return */
  var_4();
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list))))))

void MASKED(undefined4 *param_1,long param_2,long param_3)

{
  if (param_1 == (undefined4 *)0x0) {
    param_1 = (undefined4 *)&DAT_00109300;
  }
  *param_1 = 10;
  if ((param_2 != 0) && (param_3 != 0)) {
    *(long *)(param_1 + 10) = param_2;
    *(long *)(param_1 + 0xc) = param_3;
    return;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}

