$def with (code, lang=None) $if lang: $ lang = "lang-" + lang $def splitlines(text): $ text = text.rstrip() $ n = text.count("\n") + 1
\ $for i in range(n): $("%4d" % (i+1))
$text