Internals of the synthesis module.