Pushed initial translation for standard_lib