a := Print[InputForm[Definition[a]], ";a"];a