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