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