VrfOutput: string