some simple types encoded successfully