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