export const STARTUP_BUDGET_MS: number
export function profileDurationMs(profile: { startTime?: unknown, endTime?: unknown }): number