#compile-time-contract