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