ref: 526f63106b232665a8288ebf2d79c8ad659a2e37 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"