/* 16-bit source, 16/32/64 destination */