A modern programming language for embeded systems