Segmentation Fault in C Function Printing Double from Assembly Code - EdgeBench