j :: index ~ "1"; j :: integer ~ "1"