Add a Keccak program for reduced state.