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