Some code for nisl profiling