Use Key and Button types instead of raw ints