Update kr4.h