Without the correct annotation, the functions didn't work correctly in Python (causing segmentation fault).