Assume 16-byte stack alignment.