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