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