$ ikarus [-b boot-file-name] file ... [-- arg ...] files will be "load"ed sequentially after the greeting message is printes. args are available from the command-line-arguments parameter.