identation atm_spec