Programmers do it by computer simulation.