Symbol: PRMAXFAULT