translation validation

1. REDIRECT Compiler_correctness#Translation_Validation:_Compiler_Correctness_on_a_Given_Program

{{Redirect category shell|

{{R to section}}

}}