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