//
// Generated by dtk
// Translation Unit: console.cpp
//

#include "console.h"
#include "dolphin/types.h"

/* 8027A6EC-8027A75C       .text __dt__20JSUMemoryInputStreamFv */
JSUMemoryInputStream::~JSUMemoryInputStream() {
    /* Nonmatching */
}

/* 8027A75C-8027A7BC       .text __dt__20JSURandomInputStreamFv */
JSURandomInputStream::~JSURandomInputStream() {
    /* Nonmatching */
}

/* 8027A7BC-8027A804       .text __dt__10JSUIosBaseFv */
JSUIosBase::~JSUIosBase() {
    /* Nonmatching */
}