Which two formats are correct for naming tunnel interfaces?