Leaky abstraction, Software Engineering | Lobyas