// File: wichtounet[P]articles/plf_colony_alpha/plf_colony.h
// Function: plf::colony<Trivial<8>, std::allocator<Trivial<8>>, unsigned short>::reduced_stack::push(Trivial<8>*)
void push(const stack_element_type the_element)
		{
			switch ((top_element == NULL) + (top_element == end_element))
			{
				case 0:
				{
					PLF_COLONY_CONSTRUCT(element_pointer_allocator_type, (*this), ++top_element, the_element); // According to the C++ standard, construction of a pointer (of any type) may not trigger an exception (17.6.3.3) - hence, no try-catch blocks are necessary for storing the erased location pointers.
					++total_number_of_elements;
					return;
				}
				case 1:
				{
					if (current_group->next_group == NULL)
					{
						current_group->next_group = PLF_COLONY_ALLOCATE(stack_group_allocator_type, group_allocator_pair, 1, current_group);

						try
						{
							#ifdef PLF_COLONY_VARIADICS_SUPPORT
								PLF_COLONY_CONSTRUCT(stack_group_allocator_type, group_allocator_pair, current_group->next_group, (total_number_of_elements < std::numeric_limits<size_type>::max() / 2) ? total_number_of_elements : std::numeric_limits<size_type>::max() / 2, current_group);
							#else
								PLF_COLONY_CONSTRUCT(stack_group_allocator_type, group_allocator_pair, current_group->next_group, group((total_number_of_elements < std::numeric_limits<size_type>::max() / 2) ? total_number_of_elements : std::numeric_limits<size_type>::max() / 2, current_group));
							#endif
						}
						catch (...)
						{
							PLF_COLONY_DEALLOCATE(stack_group_allocator_type, group_allocator_pair, current_group->next_group, 1);
							current_group->next_group = NULL;
							throw;
						}
					}

					current_group = current_group->next_group;
					start_element = top_element = current_group->elements;
					end_element = current_group->end;

					PLF_COLONY_CONSTRUCT(element_pointer_allocator_type, (*this), top_element, the_element);
					++total_number_of_elements;
					return;
				}
				case 2: // ie. empty stack, must initialize
				{
					initialize(group_allocator_pair.min_elements_per_group);
					PLF_COLONY_CONSTRUCT(element_pointer_allocator_type, (*this), top_element, the_element);
					total_number_of_elements = 1;
					return;
				}
			}
		}

// Assembly:
subq $0x58, %rsp
movq %rdi, 0x50(%rsp)
movq %rsi, 0x48(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x10(%rax), %rcx
movq 0x20(%rax), %rdx
testq %rcx, %rcx
sete %al
movzbl %al, %eax
subq %rdx, %rcx
sete %cl
movzbl %cl, %ecx
addl %ecx, %eax
movl %eax, 0x30(%rsp)
je 0xacf29
jmp 0xacf0c
movl 0x30(%rsp), %eax
subl $0x1, %eax
je 0xacf5a
jmp 0xacf17
movl 0x30(%rsp), %eax
subl $0x2, %eax
je 0xad0c2
jmp 0xad0f0
movq 0x28(%rsp), %rdi
movq 0x10(%rdi), %rsi
addq $0x8, %rsi
movq %rsi, 0x10(%rdi)
leaq 0x48(%rsp), %rdx
callq 0xada50
movq 0x28(%rsp), %rax
movq 0x28(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x28(%rax)
jmp 0xad0f0
movq 0x28(%rsp), %rax
movq (%rax), %rax
cmpq $0x0, 0x8(%rax)
jne 0xad079
movq 0x28(%rsp), %rax
movq %rax, %rdi
addq $0x30, %rdi
movq (%rax), %rdx
movl $0x1, %esi
callq 0xada80
movq %rax, %rdx
movq 0x28(%rsp), %rax
movq (%rax), %rcx
movq %rdx, 0x8(%rcx)
movq %rax, %rcx
addq $0x30, %rcx
movq %rcx, 0x10(%rsp)
movq (%rax), %rcx
movq 0x8(%rcx), %rcx
movq %rcx, 0x18(%rsp)
movq 0x28(%rax), %rax
movq %rax, 0x20(%rsp)
callq 0x12000
movq %rax, %rcx
movq 0x20(%rsp), %rax
shrq %rcx
cmpq %rcx, %rax
jae 0xacfdb
movq 0x28(%rsp), %rax
movq 0x28(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0xacfe8
callq 0x12000
shrq %rax
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %rcx
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movq %rax, 0x40(%rsp)
leaq 0x40(%rsp), %rdx
callq 0xadab0
jmp 0xad00d
jmp 0xad077
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x38(%rsp)
movl %eax, 0x34(%rsp)
movq 0x38(%rsp), %rdi
callq 0x50b0
movq 0x28(%rsp), %rax
movq %rax, %rdi
addq $0x30, %rdi
movq (%rax), %rax
movq 0x8(%rax), %rsi
movl $0x1, %edx
callq 0x17ae0
jmp 0xad046
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq $0x0, 0x8(%rax)
callq 0x52d0
jmp 0xad107
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x38(%rsp)
movl %eax, 0x34(%rsp)
callq 0x5350
jmp 0xad075
jmp 0xad0f5
jmp 0xad079
movq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
movq %rax, (%rdi)
movq (%rdi), %rax
movq (%rax), %rax
movq %rax, 0x10(%rdi)
movq %rax, 0x18(%rdi)
movq (%rdi), %rax
movq 0x18(%rax), %rax
movq %rax, 0x20(%rdi)
movq 0x10(%rdi), %rsi
leaq 0x48(%rsp), %rdx
callq 0xada50
movq 0x28(%rsp), %rax
movq 0x28(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x28(%rax)
jmp 0xad0f0
movq 0x28(%rsp), %rdi
movq 0x30(%rdi), %rsi
callq 0xadaf0
movq 0x28(%rsp), %rdi
movq 0x10(%rdi), %rsi
leaq 0x48(%rsp), %rdx
callq 0xada50
movq 0x28(%rsp), %rax
movq $0x1, 0x28(%rax)
addq $0x58, %rsp
retq
movq 0x38(%rsp), %rdi
callq 0x5360
movq %rax, %rdi
callq 0x14670
nopw (%rax,%rax)