Symbol: asr_ctx_envopts