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