(trivial) extract constants