Tipurile resurselor

This extension defines one resource type: a file pointer identifying the bz2-file to work on.