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