Revised symbol number overflow error