Update stack.h to use @returns tag