type F = fn() -> ();