public void EndTypeDef ()
{
typedef_stack_top--;
typedef_stack.RemoveAt (typedef_stack_top);
if (typedef_stack_top > 0)
current_typedef = (TypeDef) typedef_stack [typedef_stack_top-1];
else
current_typedef = null;
}