pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px;(function main [
(x:integer <- copy 1:literal)
(y:integer <- copy 3:literal)
(z:integer <- add x:integer y:integer)
($dump-memory)
])
|