-\Function{Put}{$s,newMax,newSlot$}\r
-\If{$(newMax \neq \emptyset) \land (newMax > max)$}\Comment{Resize}\r
- \State $Q' \gets \{slot_1, slot_2, \dots, slot_{newMax}\} \forall slot_i = 0 \r
- \Leftrightarrow Q' = \emptyset$\r
+\Function{PutSlot}{$s',sv',max'$}\r
+\If{$(max' \neq \emptyset) \land (max' > max)$}\Comment{Resize}\r
+ \State $Q' \gets new\:queue\:of\:\langle s,sv \rangle\:with\r
+ \:size\:max'$\r