[Pebbles 003] int