/* system clock's frequency */