partial default alphanumeric_keys
xkb_symbols "hangul_keys" {
	include "us"
	name[Group1]= "Korea, Republic of";
	key<K72> { [ Hangul ] };
	key<K71> { [ Hangul_Hanja ] };
};