Clone in a terminal: Copy

// not a real idl file
int k = 31492;