4.1.1 Creation

Just cast the pointer and call ArrayADT_new, then cast the return value and pass it along:

struct Stack *Stack_new(void)
{
  return (struct Stack *)ArrayADT_new();
}