let out_loc (_, out) = out