identifiers
init	k
length	k
stringof	k
