peek_byte
if (peek_byte(va) == -1)
int peek_byte(void *);
rv = peek_byte(va);
if (peek_byte((void *)va) == -1) {