[feature] pervasives:  Added char_code_at.