master: use get_integer/3 instead