(TREE:K4k+ocode:(ESH)) ocode:(ESH)TREE:K4k+ocode:(ESH)libs:ESH_t