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