Make start and EOF symbols into builtin symbols