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