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