Use compilers with requires