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