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