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