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