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