use realtime in boogie example if not recording