<?php
declare(ticks = UNKNOWN_CONST) {
  echo 'Done';
}
?>