Rename write_byte -> push_byte