File:Smv waiting for the clock