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