Int31_syntax