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