Symbol: definit_open