typedef int t0;