(TREE:K4k+ocode:(SLL)) ocode:(SLL)TREE:K4k+ocode:(SLL)libs:SLL_t