let stat x = implem.stat x