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