const Python: comptime_int = 20;