main() should return something