---- EXPECTED OUTPUT
array(3) {
  [5]=>
  int(1)
  [7]=>
  int(1)
  [12]=>
  int(1)
}
---- ACTUAL OUTPUT
Warning: Module "redis" is already loaded in Unknown on line 0

Fatal error: Uncaught Error: Call to undefined function xdebug_start_code_coverage() in /home/ezekiahf/public_html/demo/xdebug/tests/coverage/bug00212-001.php:2
Stack trace:
#0 {main}
  thrown in /home/ezekiahf/public_html/demo/xdebug/tests/coverage/bug00212-001.php on line 2
---- FAILED