Redeclaring variables is allowed in lite-C.