Clearer test Example_test_abstract_ipc()