Edit File: randomkit.h