Realisation of stack.h