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