Added check_input to typed_list c_extract