let
a_of_data arr = coerce_arr arr ; a_of_data arr