Select Code to Download

    pointer: a value that refers to another object
    non-null-pointer:  a pointer whose value is not zero
...

    boolean strcmp (nnsp a, nnsp b):  takes two non-null 
        string pointers and returns TRUE if the strings are equal

    sp x, y;
    boolean b;

    b = strcmp (x,y);

    create a data structure filled with default values 
        known to conform to the required assertions.
...
    }
    ##  at this point, we can assume that the structure conforms
    ##  to the assertions, whether the input was valid or not

    %templates = (
        1 => "template one: data = #DATA#",
...
        $t =~ s/#DATA#/$d/;
        print $t, "\n";
    }