What else is the end-of-text code known as