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