Generator for cosmic muons. (A. Dainese)