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