check_write: Added aux access to check