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