Working on making it so that the correct 64 bits are added for original_start and original_end