<div dir="ltr">Matthias -- The attached source for test_is_prime/1 may be useful. Robert Buckley</div>