⁹It is also possible to define several phases in one C file, but a new user should avoid it.