More examples for IPC