Re: A new way of writing secure code