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