#include "../teg2/softfpu.c"