[polyml] How to return void from a callback function