<?php

function strlen(string $string): int {}
