intern

fun intern(name: String): Int

Returns the id of name, interning it if this is its first use.