Drivers

The drivers section is enclosed by the cards:

    begin: drivers;
        ...
    end: drivers;

Every driver card has the following format:

    <card> ::= <driver_type> : <arglist> ;

At present only driver_type drivers of type file are supported.