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