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