How do you propose to implement trapping on an uninitialized integer for example? You'd need significant hardware support, on the order of adding another bit to

How do you propose to implement trapping on an uninitialized integer for example? You'd need significant hardware support, on the order of adding another bit to every memory location.