DEBUG for cotsoc : prelsoc added