def gather1
import stelliferous@0.0.2.0/traversal_lanes.bend as TraversalLanesimport Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
42def gather1(~Context: Data,~map: Context -> F32 -> F32,+position: U32,+context: Context,
43 read: Array<F32> & F32) -> Array<F32> & Tile.Tile8:
44 (values,a) = read
45 gather2(~Context,~map,(position + 1 : U32),context,a,Array.get(F32,values,(position + 1 : U32)))