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