Ported minimal example