discharge permissive in programming - Search