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