PINF.main support with tests