(pt-write-code) begin
pt-write-code: exit(-1)