VexCL symbolic variant explained