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