'{"file":"db1023-bin.001288","pos":"308257743","asOfTime":' .
// Embed dynamically because TestSetup sets serialize_precision=17
// which, in PHP 7.1 and 7.2, produces 1457521464.3814001 instead
'{"file":"db1023-bin.001288","pos":"308257743","asOfTime":' .
// Embed dynamically because TestSetup sets serialize_precision=17
// which, in PHP 7.1 and 7.2, produces 1457521464.3814001 instead