debug: Correct the calling for a 32-bit simulation target