ref: 5d6a11a90fde3dcae679064c67612e8e3b8317bb dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"