[MOD] Core, options: converted from Object[] to Option instances