sign_extend()