BUG: argv should be char*