main() returns void