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