%datatype-definitions;