Set del_push() and del_pull() as static.