Symbol: proc_read_formation