let () = Static.f Abstract.x