initial skeleton for NativeFiniteSets