Add (so far unused) more vault code symbols