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