Using unboxed integers in def