type hints and fix redundant (int c)