core/builtins/tee.cif
changeset 22 30834c0f3179
parent 0 7f656887cf89