import sys
import html
from string import Template
src = ''
asm = ''
style = 0
flip = False
def decorate(line):
return f'{html.escape(line)}'
for line in sys.stdin:
if line.startswith("#@"):
line = line.removeprefix("#@")
src += decorate(line) if flip else line
style += 1
style %= 5
flip = False
elif line.startswith(".L") or line.startswith(".data") or line.startswith(".text"):
asm += line
else:
asm += decorate(line)
flip = True
title = 'RVBTCC Code Gen Demo'
template = Template('''
${title}
''')
print(template.substitute(title=title, src=src, asm=asm))