Performance tracking for glulx implementations.