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