class k = newint; var b: k; proc p = b := 0; var c: record var b:k; var k: newint; fun f = @k end in call p