main = t t t