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