open Random;;self_init();;print_int(int 4)