Symbol: read_stage2_from_file