abort / assert issues in sexp-conv