pushc 5
pushc 4
mul
wrint
halt