Rename get_char to readline for consistency with other disassemblies