id_int : Int -- Int
       =: [ ]

%foreign armabi id_int