Int63_syntax