No, their code is actually while (t-->0), but they didn’t format it so it got messed up
while (t-->0)