1 2 3 4 5
NIN= 1 NOUT= 1 OUT(1).TP= IN(1).TP OUT(1).SZ(1)= IN(1).SZ(1) OUT(1).SZ(2)= FA_SZ_PRIMES(IN(1).VAL)