id_int : Int -- Int
       =: [ ]

%foreign cabi id_int