How are we planning to specify these constants from Javascript?