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