First code generation arch, works temporarily in the testtypechecker method