empty_stm : ;
An empty_stm does absolutely nothing. It is intended for empty loop and if-statement bodies.