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