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