[kazinator]

We need only enough static analysis to reliably go from machine language on a silicon CPU to robust late binding. After/above that, fuck it.