Declaring for NFL draft -- how does this actually work?