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