entry(arg) := { [int : x] return 0; }