Hack: return process id from receive_any()