Locking bug in vget()?