Implemented sel4_12 gate-based