The stack frame length of framesize() is 12 bytes