#include <stdio.h>
bigloo_main() { FILE *fp = fopen("/dev/null", "r"); }
main() {
	char *argv[] = { "a.out", 0 };
	bglpth_setup(1, argv, 0);
	_bigloo_main(1, argv, 0, &bigloo_main);
}