module NestedLoops
use int.Int
let cfg nested_loops [@cfg:stackify]  _x : () =
  var _a : int;
  {
    return ()
  }
 end