Implemented a 4-bit sel4