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