separate params from hazgas.pml, ensure spin is killed at exit