// MOVED: see src/core and src/shared