// INFO: {"checked": "true"} interface J { }