@main def a = ()