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