Start to translate http://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bugs-with-safe-languages.html