Translate "Preventing heartbleed bugs with safe programming languages" (cont.)