At some point that breaks down though doesn't it. I mean from one perspective a conditional in high level code doesn't describe "what is actually happening, either." That's especially true if an optimizing compiler or interpreter mangled it up.
From another perspective your argument can be applied to any function call in library code.
In either case I don't think your position is that strong.