method vstmt s = 
    s.sid <- !count ;
    incr count ;
    DoChildren