PanLinx: worst-case fault