Type Alias: ProfileTimer

type ProfileTimer = profile_timer;