Functions pushed down to the Java core