402.10 more work on encoders
402.11 more work on encoders