*/
int MSG_process_get_PID(m_process_t process)
{
/* Do not raise an exception here: this function is used in the logs,
and it will be called back by the exception handling stuff */
if (process == NULL || process->simdata == NULL)
*/
int MSG_process_get_PID(m_process_t process)
{
/* Do not raise an exception here: this function is used in the logs,
and it will be called back by the exception handling stuff */
if (process == NULL || process->simdata == NULL)