Bootstrap: constants
Bootstrap: argc and argv