Add example of using access_context_t and vmi_get_va_pages
Introduce vmi_write_addr_* functions
Extra debug/error output and formatting