stepdef args are frozen to prevent garbled pretty formatting