Correctly handle 32 bit architectures

[tzussman]

Currently the PRINT call in the read_xrp wrapper doesn't work correctly for 32 bit architectures, but this only matters for the trace-syscalls feature which we don't care particularly care about