audit_serial
stamp->serial = audit_serial();
extern unsigned int audit_serial(void);
ctx->stamp.serial = audit_serial();