Nested states and C/Ada interface