agda-mode:auto