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