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