Can I skip calculate heartbeats for some special functions?

Stream: lean4

[Alissa Tung]

Hello, I have write some elaboration functions for tactics. Those functions are really time costing, these functions are used for side-effects only, does not modify the elaboration state, but would always successes. For elaborating the whole definition or tactic, I hope I can skip calculate for these functions. Is there any thing I can use to mark this function skip calculating heartbeats?

By the way, I am not aiming at set_option maxHeartbeats 100000000. Because I am not to set maxHeartbeats for some definitions, but I hope to skip heartbeats for one function that in many definitions' elaboration.