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