MODULE testnan ;FROM Builtins IMPORT isnan ;FROM libc IMPORT printf, exit ;VAR
x:REAL;BEGIN
x :=0.0/0.0;IFisnan(x) =1THENprintf("success isnan working from module Builtins\n")ELSEprintf("failure isnan is not working from module Builtins\n") ;exit(1)ENDEND testnan.