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

return [PHP_INT_MAX, []];