atl-cmt-save-env: more doc
atl-cmt-load-env: more doc