Constant ProfileIntegerInstructions 

pub const ProfileIntegerInstructions: KPROFILE_SOURCE;