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