Add printf that prints backdoor value.