SmExtends.java

import java.util.*;
import java.io.*;

public class SmExtends {
    public String GetName() {
        return ( ( ExtendsClause ) arg[0] ).GetName();
    }
}