prag($proc_occ_arg,9, index).
prag($proc_update_occ,4,index(2)).
