Compiler: get_int -> s_byte