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