New instructions for ppatch