complete init setting, ins mechanization, ins propagation
complete declaration of header