exception quota_too_low;

val initial_pages = 200;

fun new_quota() = 
    ;

fun reduce(quota, pages:int) : unit = 
    if   (* quota reicht nicht fuer pages *)
    then raise quota_too_low
    else ;

fun pages(quota) : int = 
    ;