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