#include "gbos.h"
/* args: an argc/argv demo. Splits its argument string into argv[] and prints
   argc plus each argument. Try: `args one two three` */
void main(void) {
    char *argv[8];
    unsigned char argc = argv_parse(argv, 8);
    unsigned char i;
    puts("argc="); putu(argc); nl();
    for (i = 0; i < argc; i++) {
        puts("argv["); putu(i); puts("]="); puts(argv[i]); nl();
    }
}