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