#include void ide_init() { }