New/final backend interfaces in new file backend.java.