Fixes:

Fixes:

The type _char16 (array of char16) is incorrectly defined as array of name
and values longer than 16 chars are stored as names and not truncated to 16
bytes as they should be.

Submitted by: Massimo Dal Zotto <dz@cs.unitn.it>