padlock_output_block
padlock_output_block(state->state, (uint32_t *)out, 5);
padlock_output_block(state->state, (uint32_t *)out, 8);