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