(TREE:Ima+ocode:(F1)) ocode:(F1)TREE:Ima+ocode:(F1)libs:F1_t