Symbol: atl1e_check_options