sprp64_sf.h for 32-bit architectures