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