/* local utilities for SES (none yet) */