
void __start()
__start: scope:[__start]  from
  [0] phi()
  to:__start::__init1
__start::__init1: scope:[__start]  from __start
  [1] val = 0
  to:__start::@1
__start::@1: scope:[__start]  from __start::__init1
  [2] phi()
  [3] call main
  to:__start::@return
__start::@return: scope:[__start]  from __start::@1
  [4] return 
  to:@return

void main()
main: scope:[main]  from __start::@1
  [5] *main::SCREEN1 = val
  [6] *main::SCREEN2 = '.'
  [7] val = 1
  [8] *(main::SCREEN1+1) = val
  [9] *(main::SCREEN2+1) = '.'
  [10] val = 2
  [11] *(main::SCREEN1+2) = val
  [12] *(main::SCREEN2+2) = *main::ptr
  [13] *main::ptr = 3
  [14] *(main::SCREEN1+3) = val
  [15] *(main::SCREEN2+3) = *main::ptr
  [16] call setv
  to:main::@1
main::@1: scope:[main]  from main
  [17] *(main::SCREEN1+4) = val
  [18] *(main::SCREEN2+4) = *main::ptr
  [19] call setp
  to:main::@2
main::@2: scope:[main]  from main::@1
  [20] *(main::SCREEN1+5) = val
  [21] *(main::SCREEN2+5) = *main::ptr
  to:main::@return
main::@return: scope:[main]  from main::@2
  [22] return 
  to:@return

void setv(char v)
setv: scope:[setv]  from main
  [23] val = setv::v#0
  to:setv::@return
setv::@return: scope:[setv]  from setv
  [24] return 
  to:@return

void setp(char *p , char v)
setp: scope:[setp]  from main::@1
  [25] *main::ptr = setp::v#0
  to:setp::@return
setp::@return: scope:[setp]  from setp
  [26] return 
  to:@return
