Description

   $IS_32BITS checks the sign extension of the low 32 bits of a 64-
   bit value and directs the program flow based on the outcome of
   the check.