Arguments to main and abort().