// utility function to read the value of programCount from C/C++
export uniform int32 get_programCount() {
  return programCount;
}