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