2 ms·Which they are (compile time) with Ada / SPARK, without any runtime costs.by johnisgood 2y agoWhich they are (compile time) with Ada / SPARK, without any runtime costs.