Added some standard definitions