The node [docs](https://nodejs.org/en/learn/getting-started/profiling) on profiling suggest using `node --prof`. However, if you have a SEA there is no `node` to run. I've failed to find any blog posts / discussions / issues which outline how SEAs can be profiled, what would you recommend? Specifically I'm interested in CPU profiling, so generating a tick file.