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