core/builtins/tee.cif
changeset 9 257450419d10
parent 0 7f656887cf89