STR_64 = [String] STR64                          StrLength < P_STR_64 > = [String] Length < [String] STR64 >
                
                                                 # // Length < P_STR_64 String >
                                                 +
                                                   return String->Length
                                                 ;

