mypy PROGRAM