push example shows different ways to specify stack methods