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