One weird thing I'm doing which could in theory cause problems: cross-compiling the Idris runtime and support libraries but generating the C code with a host-native compiler. Maybe this is the issue?

Gonna see what happens if I try triggering the bug on my OpenBSD i386 laptop. I've been developing on my aarch64 router up to this point.