import json

value = json.loads("1") + "x"  # type: ignore  # cotterpin:expect
other = len(3)  #type:ignore  # cotterpin:expect
