constants from the correct header so as to fix the crashing issue with smlnj. From Alexander Polakov <plhk at sdf dot org> ok sthen@