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