If we only push a part of the key sequence into `buf` (to complete it later), can we be sure that `buf` is only filled from `os_inchar`?