(pt-bad-addr) begin
pt-bad-addr: exit(-1)