use bitwise_cast in selinc/seldec to allow different logical type for a0