This is also known as "pop_element(Off)", "get_maximum_element" or "get_front(most)_element".
이것은 "pop_element(Off)", "get_maximum_element", 또는 "get_front(most)_element"라고 알려져 있기도 하다.