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