/* Reads 32-bit (int) number from guest address space from address 'addr' and prints it.  */
static void print_number(abi_long, int)
/* Reads 32-bit (int) number from guest address space from address 'addr' and prints it.  */
static void print_number(abi_long, int)
{
    if (addr == 0) {
        gemu_log("NULL%s", get_comma(last));
    } else {
        int num;
        get_user_s32(num, addr);
        gemu_log("[%d]%s", num, get_comma(last));
    }
}