Elaboration order fix.
Enable overflow checking in GNAT.