function strlen_ch1(arg0)
{
    return string_length(arg0);
}