ref: 8da648a8d1939d68e40c0fc351c5a9b8beb3f16d dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"