"""Recording modules for ExecuTrace."""