map16: DatatypeModel = ...