Edit File: char.pyi