fixed the bug that defines 'clock' as BIGUINT.