Foundation for binary code transformation in bare machine computing