globally unique marks and labels using syntax-session-id