The problem isn't with snprintf or with afsUUID_to_string. It's a problem with whatever is calling afsUUID_to_string. You need to get a traceback.