-record(finished, {num_modules :: integer()}).