Hand assembled global.ml. Needs to be tested