ASCII char

	outputs the integer (between 0 and 255) that represents the input
	character in the ASCII code.  Interprets control characters as
	representing backslashed punctuation, and returns the character code
	for the corresponding punctuation character without backslash.
	(Compare RAWASCII.)

