Using O3 for the optimizer