optimizations: read becomes copy for constant addresses, branchalways can be a 0-byte instruction.