这段程序会输出什么？

<?php
$labels = [];
$labels['8'] = 'string';
$labels[8] = 'integer';
$labels['08'] = 'leading';
echo count($labels), ':', $labels[8], ':', $labels['08'], PHP_EOL;