Full threadkuil009·see also: https://cacm.acm.org/research/automatically-translating-c-to...View on HN