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