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