Formalize entrypoint.