Now translating, compiling, and interpreting Fault/PATTERN_MATCH_ERR