Filling in dummy definitions