F EMPTY.;1                          	empty
F UNVANISH.;1                       	unvanish
F VANEXP.;1                         	vanexp
F VANISH.;1                         	vanish
