Create binary_translation.md