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