function dummy() {
    return true;
}