Symbol: read_stage1_from_disk