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