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