compile_typ_4