@samuelgruetter As sign extension goes from one word size to another word size, shouldn't it be a derived function from a word of one size to a word of another size?