3 ms·The source to if* is at (https://franz.com/~jkf/ifstar.txt https://franz.com/~jkf/ifstar.txt).by tjalfi 9y agoThe source to if* is at (https://franz.com/~jkf/ifstar.txt https://franz.com/~jkf/ifstar.txt).