AS_TYPE -> AS_CTYPE in get_result_string