I need to lock the hashtable but this

lock("$sht(a)");

does not work. Any hints?

Mino