1--TEST--
2Bug #41372 (Internal pointer of source array resets during array copying)
3--FILE--
4<?php
5$Foo = array('val1', 'val2', 'val3');
6end($Foo);
7echo key($Foo),"\n";
8$MagicInternalPointerResetter = $Foo;
9echo key($Foo),"\n";
10?>
11--EXPECT--
122
132
14
