hash1 before call y:2 x:1 hash2 before call y:2 x:1 hash1 after call y:2 hash2 after call y:2