Adding tests from Agner's library