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