  FUNCTION [XREF] nfp$timer_expired
    (    timer: nft$timer;
         latest_time: nft$micro_second): boolean;

*copyc nft$micro_second
*copyc nft$timer
