Idris.ModeCommon
defaultPort
loadInputs
banner
warranty