K :: 1;
a_k :: () -> i64 { K }