Fix: use ints in interface