public void setTilename(int i, int start, int end) {
public void setTilename(int i, VM_Address start, VM_Address end) {
  public void setTilename(int i, int start, int end) {    VM_SysCall.gcspyDriverSetTileName(driver_, i, start, end);  }