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