Are we positive that `args[0]` exists?