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