Add test for msg pid
Make MSG use SIMIX pids