badaddr_write
bool badaddr_write(volatile void *, size_t, uintmax_t);
return badaddr_write((void *)(bush + offset), 1, value);
return badaddr_write((void *)(bush + offset), 2, value);
return badaddr_write((void *)(bush + offset), 4, value);