/* TAGS: min c */
#include <sys/divm.h>

void __boot() {} /* BOOT ERROR */
int main() {}