Symbol: atomisp_param