def quote(value, start=0, length=12): return (plain_quote(value[start:start + length - 2]) + (" " * length))[:length]
def fail(expr, start, string, cause): quoted = plain_quote(text(cause)) print(" Except " + quoted)