<?php

function readonly() {
    echo "Hi!\n";
}

readonly();
readonly ();

?>