Fixed size of #push