public abstract region banded(  int dim,  int size,  int width);
public region banded(  int  size,  int width) { final region result = banded(2, size, width); assert result.rank==2; return result; }
		public abstract region/*(dim)*/ banded( /*nat*/ int dim, /*nat*/ int size, /*nat*/ int width);