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