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