Prompt leptons in cosmic rays