Examples from IPC talk