not OK for these constants here