A new way of writing secure code