Symbol: adr_getint32