fix bug: int is different with int23