Checked int initial code for C part of skip list implementation