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