 abstract void encode der output stream 
