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