update alloc.int example
bugfixes for pairs; test program