2 <<__EntryPoint
>> function main(): void
{
3 $str = str_repeat("test", 3456);
5 $filename = __SystemLib\
hphp_test_tmppath('bug39673.txt');
6 file_put_contents($filename, $str);
20 foreach ($offsets as $offset) {
21 $r = file_get_contents($filename, false, null, $offset);