#include "types.h" void reset_cursor_mode(absn_server *server); void process_cursor_motion(absn_server *server, uint32_t time);