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