(pt-bad-addr) begin