[int_19h]

That's not the point OP was making. On the contrary, you have to believe that frontends are important to be really mad about how terribly they are made.