Implementation of SexprWriter