Fix/test push/pop