type annotation for -main