pylint: input() is okay in python3