inline void dummy_release ()
{
  usecount = usecount - 1;
  locked = 0;
  return;
}