debugging wait in elevator