<?php

function strlen(string $x): int {
    return 42;
}

var_dump(strlen("foobar"));

?>