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