\relax 
\newlabel{old:vax}{{5a}{1}}