Milan: remove default arguments (supported only by Gecko). time-of-crashes: useless variable.