Well I don't know it very well, that's partly why I'm wondering. But it is not very expressive. Is it not possible for example to have higher order functions in a low-level language? The type-system could be made safer(learn from Haskell).