Debug: a = 9, b = 51382 462438