binary translator of l0