MAGMA, CRANKSHAFT, MAIN