A toy instrumentation for profiling JavaScript code