Procedure for comparing astrings