ref: ffe5c852c9f8b03e37796bb3601cc985f8923f95 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"