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