main(int argc,char *argv[]){}

このコードを引数なしで実行した時、argv[1][0]に'\0'が格納される事は保障されますか？