<?php //FOS%255CUserBundle%255CModel%255CUser%2523__serialize

return [PHP_INT_MAX, []];