Symbol: open_code_file