If your choice of operating system depends on any kind of formalities rather than on technical quality, OpenBSD is not the project you are looking for. — OpenBSD: Clean, Correct Code by Default