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