
void main()
main: scope:[main]  from
  [0] *(&main::p1) = memcpy(*(&$0), struct Point, SIZEOF_STRUCT_POINT)
  [1] *SCREEN = memcpy(*(&main::p1), struct Point, SIZEOF_STRUCT_POINT)
  [2] main::p2_x#0 = *((char *)&main::p1)
  [3] main::p2_y#0 = *((char *)&main::p1+OFFSET_STRUCT_POINT_Y)
  [4] *((char *)SCREEN+2*SIZEOF_STRUCT_POINT) = main::p2_x#0
  [5] *((char *)SCREEN+2*SIZEOF_STRUCT_POINT+OFFSET_STRUCT_POINT_Y) = main::p2_y#0
  [6] *((char *)&main::p1) = 3
  [7] *(SCREEN+4*SIZEOF_STRUCT_POINT) = memcpy(*(&main::p1), struct Point, SIZEOF_STRUCT_POINT)
  [8] *((char *)SCREEN+6*SIZEOF_STRUCT_POINT) = 4
  [9] *((char *)SCREEN+6*SIZEOF_STRUCT_POINT+OFFSET_STRUCT_POINT_Y) = main::p2_y#0
  [10] *((char *)&main::p1) = 4
  [11] *((char *)&main::p1+OFFSET_STRUCT_POINT_Y) = main::p2_y#0
  [12] *(SCREEN+8*SIZEOF_STRUCT_POINT) = memcpy(*(&main::p1), struct Point, SIZEOF_STRUCT_POINT)
  to:main::@return
main::@return: scope:[main]  from main
  [13] return 
  to:@return
