partial recursive function