test-case added: pi.c