WIP: fix 32bit select operation