method main = main