LIB "tst.lib"; tst_init();
bigint(5)*2, bigint(2)^100-10;
bigint(-5) div 2, bigint(-5) mod 2;
tst_status(1);$