I think they were allowed but never used (see above comment).  basically I think we can get away without handling them.