ref: 060549d01f54d692754d493f51d0bc8e908e1ffc dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"