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