DEFINITION MODULE Acc;

TYPE
    accptr;

PROCEDURE create() : accptr;

PROCEDURE inc(a : accptr);

PROCEDURE get(a : accptr) : CARDINAL;

PROCEDURE free(a : accptr);

END Acc.