GLint64 vrend_renderer_get_timestamp(void)
{
   GLint64 v;
   glGetInteger64v(GL_TIMESTAMP, &v);
   return v;
}

The product does not release a resource after its effective lifetime has ended, i.e., after the resource is no longer needed.