Symbol: TOK_ENCAP