put constants in runtime.h