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