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