More direct encoding for array operations.