import io;
import vector;

typedef Destructable {
    void destruct() {
        println("Destroyed!");
    }
};

int main() {
    vector<int> intVec.construct(false);
    intVec.addBack(1);
    intVec.addBack(3);
    intVec.addBack(3);
    intVec.addBack(7);
    for (int i = 0; i < intVec.size(); i++;)
        print(intVec.at(i));
    
    println();
    
    vector<Destructable>* desVec = new<vector<Destructable>>()->construct(true);
    Destructable testDestruct;
    desVec->addBack(testDestruct);
    delete<vector<Destructable>>(desVec);

    return 0;
}