Using docopt.c