1485   char * arg3K0;  in integer_bit_count()  local
1529   char * arg3K0;  in integer_add()  local
1610   char * arg3K0;  in integer_subtract()  local
1691   char * arg3K0;  in integer_multiply()  local
1763   char * arg3K0;  in integer_divide()  local
1925   char * arg3K0;  in integer_bitwise_not()  local
1976   char * arg3K0;  in integer_bitwise_and()  local
2057   char * arg3K0;  in integer_bitwise_ior()  local
2138   char * arg3K0;  in integer_bitwise_xor()  local
2221   char * arg3K0;  in Hinteger_op8731()  local
2289   char * arg3K0;  in Hinteger_op8662()  local
2399   char * arg3K0;  in really_preserve_continuation()  local
2953   char * arg3K0;  in HtopD12316()  local
5327   char * arg3K0;  in check_stack()  local
5836   char * arg3K0;  in s48_copy_stack_into_heap()  local
5894   char * arg3K0;  in s48_initialize_vm()  local
6199   char * arg3K0;  in s48_restart()  local