void __disable_irq() {
}

void __enable_irq() {
}


void notimplemented() {
}

void timer32Callback0() {
}

void getrelease() {
}

void format_formatDF() {
}