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