let
etud_file = ref
""