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