(It seems like they should be literals, though.)