added IGNORE_USER_FAULTS clause to match specification