---- EXPECTED OUTPUT
array(6) {
  [3]=>
  int(1)
  [5]=>
  int(1)
  [6]=>
  int(1)
  [10]=>
  int(1)
  [11]=>
  int(1)
  [15]=>
  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/bug00703-php80.php:5
Stack trace:
#0 {main}
  thrown in /home/ezekiahf/public_html/demo/xdebug/tests/coverage/bug00703-php80.php on line 5
---- FAILED