The stack pointer should be a register in the CPU core, which stores the address of the next free storage unit at the bottom (or top) of the stack. The lowest two digits are always 0, which means that the stack pointer increases or decreases in the smallest unit of 4, that is, the pointer moves at least 4 bytes. So the stack is always 4 bytes aligned.