Is `push_special_key` not a better place for this two static variables?