def put = \x. \y.
    place y;
    end;