Additional safety-checks in vmi_write