fun g s = (size s, s);