subint #x:type  {#x:from ..#x:to };