Improve handling of raveler vs standard labels64, and explicit indexing of labels64