int TILDE = 192

Not documented.