#! /bin/bash python -m mypy --show-error-codes --strict pytato test/testlib.py