Document binary representation of abstract code