void main()
__constant char main::name[9] = "keyboard"
__constant char *process_name = (char *) 1024
void set_process_name(char *name)
char *set_process_name::$1 // zp[2]:6 101.0
char *set_process_name::$2 // zp[2]:4 202.0
int set_process_name::j
int set_process_name::j#1 // j zp[2]:2 202.0
int set_process_name::j#2 // j zp[2]:2 101.0
char *set_process_name::name

zp[2]:2 [ set_process_name::j#2 set_process_name::j#1 ]
zp[2]:6 [ set_process_name::$1 ]
zp[2]:4 [ set_process_name::$2 ]
