Pointer precision loss casting pointer down to (int), causing segfault on 64-bit. See: https://github.com/nasa/SC/blob/43392d75418998a75f04b64416a3323be1d51918/fsw/src/sc_rtsrq.c#L641