badaddr_read
return(badaddr_read(addr, size, NULL));
int badaddr_read(void *, size_t, void *);
int badaddr_read (void *, size_t, void *);