Some debug statements for zkillwatch for sv