F4 example (not tested)