---lib.c.orig2021-02-0617:28:48UTC+++lib.c@@-33,7+33,7@@structascii_map_str{intkeycode;};-inlinevoidreboot(void)+voidreboot(void){/* tell the BIOS to do a cold start */@@-1196,4+1196,4@@voidget_list(intx,inty,intlen,char*buf)return;}}-}\Nonewlineatendoffile+}