Broken WIP: towards handling INT4