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