import stdio
import t, c
import string


def string_min_test() -> int:
    l: sizet = string.strlen("Hello")
    stdio.printf("strlen(Hello)=%lu\n", l)
    return 0