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