identifiers
init	k
length	k
stringof	k