The main pb for this imois that cpu remain very simplistic, focusing on memory access and arithmetics operations, interupt etc and it become very complex to write complex program that are meaningful, safe, and reliable, based on pure abstraction with only very basic operation at silicon level.