scott mccall [ib: nat !]