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