Const correctness in VM