multiple constants are emitted only once
variables!
stacksize computation (in absence of jumps)