string handling: strlen for gstring