k :: index ~ "1"; k :: integer ~ "1"