print('mini_receive: sending notify from', src_proc_nr)