(TeX-add-style-hook
 "sigos"
 (lambda ()
   (TeX-add-to-alist 'LaTeX-provided-class-options
                     '(("ipsjpapers" "techrep")))
   (TeX-add-to-alist 'LaTeX-provided-package-options
                     '(("graphicx" "dvipdfmx") ("otf" "deluxe" "multi") ("inputenc" "utf8x")))
   (add-to-list 'LaTeX-verbatim-environments-local "lstlisting")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "path")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "url")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "lstinline")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "path")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "url")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "lstinline")
   (TeX-run-style-hooks
    "latex2e"
    "ipsjpapers"
    "ipsjpapers10"
    "graphicx"
    "listings"
    "enumitem"
    "multirow"
    "here"
    "ucs"
    "autofe"
    "fancyvrb"
    "ascmac"
    "otf"
    "url"
    "cite"
    "amssymb"
    "amsmath"
    "colonequals"
    "inputenc"
    "caption")
   (LaTeX-add-labels
    "fig:cgdg"
    "agda-interface-stack"
    "hoare-logic"
    "fig:hoare"
    "fig:cbc-hoare"
    "fig:tree-hoare")
   (LaTeX-add-bibliographies))
 :latex)