Some for-native optimization