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