more mce code from SICP