Contains the Galois runtime system.