int is buggy; mark it in the c0 doc; better using long instead