#include <sys/divm.h>

void __boot() {}
int main() {}