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