stdlib / keys function