Cleaned up a bit hal_timer