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