std: Restore missing timer examples