{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }
{ptr} = *
                                            (struct sk_buff) {
                                             .len = (unsigned int)123,
                                            }

