Hmmm... well, here's the code I compiled:
#include <stdint.h>
//extern void console(const char *ctx, int a, int b);
extern void consoleD(const char *ctx, int a, int b);
void res_mod(void)
{
register uintptr_t s1val asm("s1");
uint32_t *scanSize = (uint32_t *)s1val;
char*...