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