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