SMOKE_AMPL


----------------------------------------