probe begin
{
        printf("strlen(\"%s\") = %d\n", a, strlen(a))

	a = "1"
        printf("strlen(\"%s\") = %d\n", a, strlen(a))

	a = "0123456789"
        printf("strlen(\"%s\") = %d\n", a, strlen(a))

	a = "0123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789"
        printf("strlen(\"%s\") = %d\n", a, strlen(a))

        exit()
}