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