| 14 | static int call_count = 0; |
| 15 | |
| 16 | static void |
| 17 | reset_args() { |
| 18 | arg_extra = NULL; |
| 19 | arg_type = 12345; |
| 20 | arg_result = NULL; |
| 21 | arg_address = NULL; |
| 22 | arg_old_usize = 0; |
| 23 | arg_new_usize = 0; |
| 24 | arg_result_raw = 0; |
| 25 | memset(arg_args_raw, 77, sizeof(arg_args_raw)); |
| 26 | } |
| 27 | |
| 28 | static void |
| 29 | alloc_free_size(size_t sz) { |