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