Add const to read-only arguments
Avoid double free of PCB in case of abort