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