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