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