How to pass arguments to a script from the terminal?

[Bruno Franco]

I want to write a simple script that would accept names from the command
line and print then, like this:

$ ./script alice bob
Hello alice and bob

I know that once picolisp has the names I would just use 'print', but how
do I pass the names?