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