Need to use __asm__, also logging RBP