Module useful - General utilities
General utilities.
This module contains miscellaneous utilities for occam-pi programs. The aim is to provide somewhere to collect code that should obviously be in the standard library (that is: it's been needed by more than one occam-pi program), but where there isn't an existing module that it should obviously go into.
Index
-
Record
VECTOR2- A two-dimensional vector -
Record
VECTOR3- A three-dimensional vector -
Process
append.int- Append a number to a string -
Process
append.string- Append a string to a string -
Function
clamp.int- Limit an integer to a particular range -
Function
cross.product3- Compute the cross product of two VECTOR3 s -
Function
deg.to.rad- Convert an angle in degrees into radians -
Process
delay- Wait for a period of time - Function
dot.product2 - Function
dot.product3 - Process
format.i - Process
format.ii - Process
format.iii - Process
format.iiii - Process
format.iiiii - Process
format.iiiin - Process
format.iiiis - Process
format.iiin - Process
format.iiis - Process
format.iiisi - Process
format.iiisn - Process
format.iiiss - Process
format.iin - Process
format.iis - Process
format.iisi - Process
format.iisii - Process
format.iisin - Process
format.iisis - Process
format.iisn - Process
format.iiss - Process
format.iissi - Process
format.iissn - Process
format.iisss - Process
format.in - Process
format.is - Process
format.isi - Process
format.isii - Process
format.isiii - Process
format.isiin - Process
format.isiis - Process
format.isin - Process
format.isis - Process
format.isisi - Process
format.isisn - Process
format.isiss - Process
format.isn - Process
format.iss - Process
format.issi - Process
format.issii - Process
format.issin - Process
format.issis - Process
format.issn - Process
format.isss - Process
format.isssi - Process
format.isssn - Process
format.issss - Process
format.s - Process
format.si - Process
format.sii - Process
format.siii - Process
format.siiii - Process
format.siiin - Process
format.siiis - Process
format.siin - Process
format.siis - Process
format.siisi - Process
format.siisn - Process
format.siiss - Process
format.sin - Process
format.sis - Process
format.sisi - Process
format.sisii - Process
format.sisin - Process
format.sisis - Process
format.sisn - Process
format.siss - Process
format.sissi - Process
format.sissn - Process
format.sisss - Process
format.sn - Process
format.ss - Process
format.ssi - Process
format.ssii - Process
format.ssiii - Process
format.ssiin - Process
format.ssiis - Process
format.ssin - Process
format.ssis - Process
format.ssisi - Process
format.ssisn - Process
format.ssiss - Process
format.ssn - Process
format.sss - Process
format.sssi - Process
format.sssii - Process
format.sssin - Process
format.sssis - Process
format.sssn - Process
format.ssss - Process
format.ssssi - Process
format.ssssn - Process
format.sssss -
Function
is.whitespace- Is a character whitespace? -
Function
mag.squared2- Compute the square of the magnitude of a VECTOR2 -
Function
mag.squared3- Compute the square of the magnitude of a VECTOR3 -
Function
max.int- Find the greater of two integers -
Function
max.real32- Find the greater of two reals -
Function
min.int- Find the lesser of two integers -
Function
min.real32- Find the lesser of two reals -
Function
normal3- Compute the normal to the plane defined by the two given vectors -
Function
normalise2- Normalise a VECTOR2 -
Function
normalise3- Normalise a VECTOR3 - Operator
* (VECTOR2, REAL32) - Operator
* (VECTOR3, REAL32) - Operator
+ (VECTOR2, VECTOR2) - Operator
+ (VECTOR3, VECTOR3) - Operator
- (VECTOR2, VECTOR2) - Operator
- (VECTOR3, VECTOR3) - Operator
/ (VECTOR2, REAL32) - Operator
/ (VECTOR3, REAL32) -
Process
out.vector2- Print a VECTOR2 -
Process
out.vector3- Print a VECTOR3 - Process
print.i - Process
print.ii - Process
print.iii - Process
print.iiii - Process
print.iiiii - Process
print.iiiin - Process
print.iiiis - Process
print.iiin - Process
print.iiis - Process
print.iiisi - Process
print.iiisn - Process
print.iiiss - Process
print.iin - Process
print.iis - Process
print.iisi - Process
print.iisii - Process
print.iisin - Process
print.iisis - Process
print.iisn - Process
print.iiss - Process
print.iissi - Process
print.iissn - Process
print.iisss - Process
print.in - Process
print.is - Process
print.isi - Process
print.isii - Process
print.isiii - Process
print.isiin - Process
print.isiis - Process
print.isin - Process
print.isis - Process
print.isisi - Process
print.isisn - Process
print.isiss - Process
print.isn - Process
print.iss - Process
print.issi - Process
print.issii - Process
print.issin - Process
print.issis - Process
print.issn - Process
print.isss - Process
print.isssi - Process
print.isssn - Process
print.issss - Process
print.s - Process
print.si - Process
print.sii - Process
print.siii - Process
print.siiii - Process
print.siiin - Process
print.siiis - Process
print.siin - Process
print.siis - Process
print.siisi - Process
print.siisn - Process
print.siiss - Process
print.sin - Process
print.sis - Process
print.sisi - Process
print.sisii - Process
print.sisin - Process
print.sisis - Process
print.sisn - Process
print.siss - Process
print.sissi - Process
print.sissn - Process
print.sisss - Process
print.sn - Process
print.ss - Process
print.ssi - Process
print.ssii - Process
print.ssiii - Process
print.ssiin - Process
print.ssiis - Process
print.ssin - Process
print.ssis - Process
print.ssisi - Process
print.ssisn - Process
print.ssiss - Process
print.ssn - Process
print.sss - Process
print.sssi - Process
print.sssii - Process
print.sssin - Process
print.sssis - Process
print.sssn - Process
print.ssss - Process
print.ssssi - Process
print.ssssn - Process
print.sssss - Process
prints.i - Process
prints.ii - Process
prints.iii - Process
prints.iiii - Process
prints.iiiii - Process
prints.iiiin - Process
prints.iiiis - Process
prints.iiin - Process
prints.iiis - Process
prints.iiisi - Process
prints.iiisn - Process
prints.iiiss - Process
prints.iin - Process
prints.iis - Process
prints.iisi - Process
prints.iisii - Process
prints.iisin - Process
prints.iisis - Process
prints.iisn - Process
prints.iiss - Process
prints.iissi - Process
prints.iissn - Process
prints.iisss - Process
prints.in - Process
prints.is - Process
prints.isi - Process
prints.isii - Process
prints.isiii - Process
prints.isiin - Process
prints.isiis - Process
prints.isin - Process
prints.isis - Process
prints.isisi - Process
prints.isisn - Process
prints.isiss - Process
prints.isn - Process
prints.iss - Process
prints.issi - Process
prints.issii - Process
prints.issin - Process
prints.issis - Process
prints.issn - Process
prints.isss - Process
prints.isssi - Process
prints.isssn - Process
prints.issss - Process
prints.s - Process
prints.si - Process
prints.sii - Process
prints.siii - Process
prints.siiii - Process
prints.siiin - Process
prints.siiis - Process
prints.siin - Process
prints.siis - Process
prints.siisi - Process
prints.siisn - Process
prints.siiss - Process
prints.sin - Process
prints.sis - Process
prints.sisi - Process
prints.sisii - Process
prints.sisin - Process
prints.sisis - Process
prints.sisn - Process
prints.siss - Process
prints.sissi - Process
prints.sissn - Process
prints.sisss - Process
prints.sn - Process
prints.ss - Process
prints.ssi - Process
prints.ssii - Process
prints.ssiii - Process
prints.ssiin - Process
prints.ssiis - Process
prints.ssin - Process
prints.ssis - Process
prints.ssisi - Process
prints.ssisn - Process
prints.ssiss - Process
prints.ssn - Process
prints.sss - Process
prints.sssi - Process
prints.sssii - Process
prints.sssin - Process
prints.sssis - Process
prints.sssn - Process
prints.ssss - Process
prints.ssssi - Process
prints.ssssn - Process
prints.sssss -
Function
rad.to.deg- Convert an angle in radians into degrees -
Function
random.real32- Generate a random REAL32 -
Process
resize.string- Resize a string, keeping its contents intact -
Process
rstrip.string- Remove trailing whitespace from a string -
Function
same.string- Compare two strings for equality -
Process
seed.from.timer- Initialise a random number generator's seed using a timer - Process
trace.i - Process
trace.ii - Process
trace.iii - Process
trace.iiii - Process
trace.iiiii - Process
trace.iiiin - Process
trace.iiiis - Process
trace.iiin - Process
trace.iiis - Process
trace.iiisi - Process
trace.iiisn - Process
trace.iiiss - Process
trace.iin - Process
trace.iis - Process
trace.iisi - Process
trace.iisii - Process
trace.iisin - Process
trace.iisis - Process
trace.iisn - Process
trace.iiss - Process
trace.iissi - Process
trace.iissn - Process
trace.iisss - Process
trace.in - Process
trace.is - Process
trace.isi - Process
trace.isii - Process
trace.isiii - Process
trace.isiin - Process
trace.isiis - Process
trace.isin - Process
trace.isis - Process
trace.isisi - Process
trace.isisn - Process
trace.isiss - Process
trace.isn - Process
trace.iss - Process
trace.issi - Process
trace.issii - Process
trace.issin - Process
trace.issis - Process
trace.issn - Process
trace.isss - Process
trace.isssi - Process
trace.isssn - Process
trace.issss - Process
trace.s - Process
trace.si - Process
trace.sii - Process
trace.siii - Process
trace.siiii - Process
trace.siiin - Process
trace.siiis - Process
trace.siin - Process
trace.siis - Process
trace.siisi - Process
trace.siisn - Process
trace.siiss - Process
trace.sin - Process
trace.sis - Process
trace.sisi - Process
trace.sisii - Process
trace.sisin - Process
trace.sisis - Process
trace.sisn - Process
trace.siss - Process
trace.sissi - Process
trace.sissn - Process
trace.sisss - Process
trace.sn - Process
trace.ss - Process
trace.ssi - Process
trace.ssii - Process
trace.ssiii - Process
trace.ssiin - Process
trace.ssiis - Process
trace.ssin - Process
trace.ssis - Process
trace.ssisi - Process
trace.ssisn - Process
trace.ssiss - Process
trace.ssn - Process
trace.sss - Process
trace.sssi - Process
trace.sssii - Process
trace.sssin - Process
trace.sssis - Process
trace.sssn - Process
trace.ssss - Process
trace.ssssi - Process
trace.ssssn - Process
trace.sssss -
Process
update.max.int- Update a running maximum value -
Function
wrap.int- Wrap array indexes around
Declarations
random.occ:26Process seed.from.timer
PROC seed.from.timer (TIMER tim, RESULT INT seed)
Initialise a random number generator's seed using a timer.
random.occ:35Function random.real32
REAL32, INT FUNCTION random.real32 (VAL REAL32 range, VAL INT seed)
Generate a random REAL32. The resulting value will be selected from the range 0.0 .. range.
vector.occ:42Function normalise2
VECTOR2 FUNCTION normalise2 (VAL VECTOR2 v)
Normalise a VECTOR2.
Parameters:
VAL VECTOR2 |
v |
Input vector |
Returns:
VECTOR2 |
Unit vector parallel to v
|
vector.occ:64Function normalise3
VECTOR3 FUNCTION normalise3 (VAL VECTOR3 v)
Normalise a VECTOR3.
Parameters:
VAL VECTOR3 |
v |
Input vector |
Returns:
VECTOR3 |
Unit vector parallel to v
|
vector.occ:68Function cross.product3
VECTOR3 FUNCTION cross.product3 (VAL VECTOR3 a, b)
Compute the cross product of two VECTOR3s.
vector.occ:80Function normal3
VECTOR3 FUNCTION normal3 (VAL VECTOR3 a, b)
Compute the normal to the plane defined by the two given vectors.
math.occ:28Function min.int
INT FUNCTION min.int (VAL INT a, b)
Find the lesser of two integers.
Parameters:
VAL INT |
a, b
|
Integers to compare |
Returns:
INT |
The lesser of a and b
|
math.occ:43Function max.int
INT FUNCTION max.int (VAL INT a, b)
Find the greater of two integers.
Parameters:
VAL INT |
a, b
|
Integers to compare |
Returns:
INT |
The greater of a and b
|
math.occ:58Function min.real32
REAL32 FUNCTION min.real32 (VAL REAL32 a, b)
Find the lesser of two reals.
Parameters:
VAL REAL32 |
a, b
|
Reals to compare |
Returns:
REAL32 |
The lesser of a and b
|
math.occ:73Function max.real32
REAL32 FUNCTION max.real32 (VAL REAL32 a, b)
Find the greater of two reals.
Parameters:
VAL REAL32 |
a, b
|
Reals to compare |
Returns:
REAL32 |
The greater of a and b
|
math.occ:90Process update.max.int
PROC update.max.int (INT max, VAL INT value)
Update a running maximum value. If value is greater than max, max will be set to value.
Parameters:
INT |
max |
The running maximum |
VAL INT |
value |
The input value |
math.occ:106Function clamp.int
INT FUNCTION clamp.int (VAL INT in, left, width)
Limit an integer to a particular range. For example, if you call this with left = 3 and width = 3, then the output value will be in the range 3 .. 5.
Parameters:
VAL INT |
in |
Input value |
VAL INT |
left |
The lowest value in the range |
VAL INT |
width |
The width of the range |
Returns:
INT |
A value in the range left .. (left + width - 1)
|
math.occ:125Function wrap.int
INT FUNCTION wrap.int (VAL INT i, max)
Wrap array indexes around. If given -1, this will return max - 1; if given max
+ 1, this will return 1. This is not quite the same thing as \ max, since that doesn't do the right thing for negative numbers.
math.occ:137Function deg.to.rad
REAL32 FUNCTION deg.to.rad (VAL REAL32 deg)
Convert an angle in degrees into radians.
math.occ:141Function rad.to.deg
REAL32 FUNCTION rad.to.deg (VAL REAL32 rad)
Convert an angle in radians into degrees.
format-gen.occ:24Process print.i
PROC print.i (VAL INT i0, CHAN BYTE out!)
format-gen.occ:31Process prints.i
PROC prints.i (VAL INT i0, SHARED CHAN BYTE out!)
format-gen.occ:40Process format.i
PROC format.i (VAL INT i0, RESULT MOBILE []BYTE string)
format-gen.occ:52Process trace.i
PROC trace.i (VAL INT i0)
format-gen.occ:59Process print.ii
PROC print.ii (VAL INT i0, VAL INT i1, CHAN BYTE out!)
format-gen.occ:70Process prints.ii
PROC prints.ii (VAL INT i0, VAL INT i1, SHARED CHAN BYTE out!)
format-gen.occ:83Process format.ii
PROC format.ii (VAL INT i0, VAL INT i1, RESULT MOBILE []BYTE string)
format-gen.occ:101Process trace.ii
PROC trace.ii (VAL INT i0, VAL INT i1)
format-gen.occ:112Process print.iii
PROC print.iii (VAL INT i0, VAL INT i1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:127Process prints.iii
PROC prints.iii (VAL INT i0, VAL INT i1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:144Process format.iii
PROC format.iii (VAL INT i0, VAL INT i1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:168Process trace.iii
PROC trace.iii (VAL INT i0, VAL INT i1, VAL INT i2)
format-gen.occ:183Process print.iiii
PROC print.iiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:202Process prints.iiii
PROC prints.iiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:223Process format.iiii
PROC format.iiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:253Process trace.iiii
PROC trace.iiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3)
format-gen.occ:272Process print.iiiii
PROC print.iiiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:295Process prints.iiiii
PROC prints.iiiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:320Process format.iiiii
PROC format.iiiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:356Process trace.iiiii
PROC trace.iiiii (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4)
format-gen.occ:379Process print.iiiis
PROC print.iiiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:399Process prints.iiiis
PROC prints.iiiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:421Process format.iiiis
PROC format.iiiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:454Process trace.iiiis
PROC trace.iiiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4)
format-gen.occ:474Process print.iiiin
PROC print.iiiin (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:494Process prints.iiiin
PROC prints.iiiin (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:516Process format.iiiin
PROC format.iiiin (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:549Process trace.iiiin
PROC trace.iiiin (VAL INT i0, VAL INT i1, VAL INT i2, VAL INT i3)
format-gen.occ:569Process print.iiis
PROC print.iiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:585Process prints.iiis
PROC prints.iiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:603Process format.iiis
PROC format.iiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:630Process trace.iiis
PROC trace.iiis (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:646Process print.iiisi
PROC print.iiisi (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:666Process prints.iiisi
PROC prints.iiisi (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:688Process format.iiisi
PROC format.iiisi (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:721Process trace.iiisi
PROC trace.iiisi (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4)
format-gen.occ:741Process print.iiiss
PROC print.iiiss (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:758Process prints.iiiss
PROC prints.iiiss (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:777Process format.iiiss
PROC format.iiiss (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:807Process trace.iiiss
PROC trace.iiiss (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4)
format-gen.occ:824Process print.iiisn
PROC print.iiisn (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:841Process prints.iiisn
PROC prints.iiisn (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:860Process format.iiisn
PROC format.iiisn (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:890Process trace.iiisn
PROC trace.iiisn (VAL INT i0, VAL INT i1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:907Process print.iiin
PROC print.iiin (VAL INT i0, VAL INT i1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:923Process prints.iiin
PROC prints.iiin (VAL INT i0, VAL INT i1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:941Process format.iiin
PROC format.iiin (VAL INT i0, VAL INT i1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:968Process trace.iiin
PROC trace.iiin (VAL INT i0, VAL INT i1, VAL INT i2)
format-gen.occ:984Process print.iis
PROC print.iis (VAL INT i0, VAL INT i1, VAL []BYTE s2, CHAN BYTE out!)
format-gen.occ:996Process prints.iis
PROC prints.iis (VAL INT i0, VAL INT i1, VAL []BYTE s2, SHARED CHAN BYTE out!)
format-gen.occ:1010Process format.iis
PROC format.iis (VAL INT i0, VAL INT i1, VAL []BYTE s2, RESULT MOBILE []BYTE string)
format-gen.occ:1031Process trace.iis
PROC trace.iis (VAL INT i0, VAL INT i1, VAL []BYTE s2)
format-gen.occ:1043Process print.iisi
PROC print.iisi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:1059Process prints.iisi
PROC prints.iisi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:1077Process format.iisi
PROC format.iisi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:1104Process trace.iisi
PROC trace.iisi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3)
format-gen.occ:1120Process print.iisii
PROC print.iisii (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:1140Process prints.iisii
PROC prints.iisii (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:1162Process format.iisii
PROC format.iisii (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:1195Process trace.iisii
PROC trace.iisii (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4)
format-gen.occ:1215Process print.iisis
PROC print.iisis (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:1232Process prints.iisis
PROC prints.iisis (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:1251Process format.iisis
PROC format.iisis (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:1281Process trace.iisis
PROC trace.iisis (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4)
format-gen.occ:1298Process print.iisin
PROC print.iisin (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:1315Process prints.iisin
PROC prints.iisin (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:1334Process format.iisin
PROC format.iisin (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:1364Process trace.iisin
PROC trace.iisin (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL INT i3)
format-gen.occ:1381Process print.iiss
PROC print.iiss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:1394Process prints.iiss
PROC prints.iiss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:1409Process format.iiss
PROC format.iiss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:1433Process trace.iiss
PROC trace.iiss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3)
format-gen.occ:1446Process print.iissi
PROC print.iissi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:1463Process prints.iissi
PROC prints.iissi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:1482Process format.iissi
PROC format.iissi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:1512Process trace.iissi
PROC trace.iissi (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4)
format-gen.occ:1529Process print.iisss
PROC print.iisss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:1543Process prints.iisss
PROC prints.iisss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:1559Process format.iisss
PROC format.iisss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:1586Process trace.iisss
PROC trace.iisss (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4)
format-gen.occ:1600Process print.iissn
PROC print.iissn (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:1614Process prints.iissn
PROC prints.iissn (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:1630Process format.iissn
PROC format.iissn (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:1657Process trace.iissn
PROC trace.iissn (VAL INT i0, VAL INT i1, VAL []BYTE s2, VAL []BYTE s3)
format-gen.occ:1671Process print.iisn
PROC print.iisn (VAL INT i0, VAL INT i1, VAL []BYTE s2, CHAN BYTE out!)
format-gen.occ:1684Process prints.iisn
PROC prints.iisn (VAL INT i0, VAL INT i1, VAL []BYTE s2, SHARED CHAN BYTE out!)
format-gen.occ:1699Process format.iisn
PROC format.iisn (VAL INT i0, VAL INT i1, VAL []BYTE s2, RESULT MOBILE []BYTE string)
format-gen.occ:1723Process trace.iisn
PROC trace.iisn (VAL INT i0, VAL INT i1, VAL []BYTE s2)
format-gen.occ:1736Process print.iin
PROC print.iin (VAL INT i0, VAL INT i1, CHAN BYTE out!)
format-gen.occ:1748Process prints.iin
PROC prints.iin (VAL INT i0, VAL INT i1, SHARED CHAN BYTE out!)
format-gen.occ:1762Process format.iin
PROC format.iin (VAL INT i0, VAL INT i1, RESULT MOBILE []BYTE string)
format-gen.occ:1783Process trace.iin
PROC trace.iin (VAL INT i0, VAL INT i1)
format-gen.occ:1795Process print.is
PROC print.is (VAL INT i0, VAL []BYTE s1, CHAN BYTE out!)
format-gen.occ:1803Process prints.is
PROC prints.is (VAL INT i0, VAL []BYTE s1, SHARED CHAN BYTE out!)
format-gen.occ:1813Process format.is
PROC format.is (VAL INT i0, VAL []BYTE s1, RESULT MOBILE []BYTE string)
format-gen.occ:1828Process trace.is
PROC trace.is (VAL INT i0, VAL []BYTE s1)
format-gen.occ:1836Process print.isi
PROC print.isi (VAL INT i0, VAL []BYTE s1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:1848Process prints.isi
PROC prints.isi (VAL INT i0, VAL []BYTE s1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:1862Process format.isi
PROC format.isi (VAL INT i0, VAL []BYTE s1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:1883Process trace.isi
PROC trace.isi (VAL INT i0, VAL []BYTE s1, VAL INT i2)
format-gen.occ:1895Process print.isii
PROC print.isii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:1911Process prints.isii
PROC prints.isii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:1929Process format.isii
PROC format.isii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:1956Process trace.isii
PROC trace.isii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3)
format-gen.occ:1972Process print.isiii
PROC print.isiii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:1992Process prints.isiii
PROC prints.isiii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:2014Process format.isiii
PROC format.isiii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:2047Process trace.isiii
PROC trace.isiii (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL INT i4)
format-gen.occ:2067Process print.isiis
PROC print.isiis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:2084Process prints.isiis
PROC prints.isiis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:2103Process format.isiis
PROC format.isiis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:2133Process trace.isiis
PROC trace.isiis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, VAL []BYTE s4)
format-gen.occ:2150Process print.isiin
PROC print.isiin (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:2167Process prints.isiin
PROC prints.isiin (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:2186Process format.isiin
PROC format.isiin (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:2216Process trace.isiin
PROC trace.isiin (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL INT i3)
format-gen.occ:2233Process print.isis
PROC print.isis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:2246Process prints.isis
PROC prints.isis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:2261Process format.isis
PROC format.isis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:2285Process trace.isis
PROC trace.isis (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:2298Process print.isisi
PROC print.isisi (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:2315Process prints.isisi
PROC prints.isisi (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:2334Process format.isisi
PROC format.isisi (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:2364Process trace.isisi
PROC trace.isisi (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL INT i4)
format-gen.occ:2381Process print.isiss
PROC print.isiss (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:2395Process prints.isiss
PROC prints.isiss (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:2411Process format.isiss
PROC format.isiss (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:2438Process trace.isiss
PROC trace.isiss (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4)
format-gen.occ:2452Process print.isisn
PROC print.isisn (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:2466Process prints.isisn
PROC prints.isisn (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:2482Process format.isisn
PROC format.isisn (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:2509Process trace.isisn
PROC trace.isisn (VAL INT i0, VAL []BYTE s1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:2523Process print.isin
PROC print.isin (VAL INT i0, VAL []BYTE s1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:2536Process prints.isin
PROC prints.isin (VAL INT i0, VAL []BYTE s1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:2551Process format.isin
PROC format.isin (VAL INT i0, VAL []BYTE s1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:2575Process trace.isin
PROC trace.isin (VAL INT i0, VAL []BYTE s1, VAL INT i2)
format-gen.occ:2588Process print.iss
PROC print.iss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, CHAN BYTE out!)
format-gen.occ:2597Process prints.iss
PROC prints.iss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, SHARED CHAN BYTE out!)
format-gen.occ:2608Process format.iss
PROC format.iss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, RESULT MOBILE []BYTE string)
format-gen.occ:2626Process trace.iss
PROC trace.iss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2)
format-gen.occ:2635Process print.issi
PROC print.issi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:2648Process prints.issi
PROC prints.issi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:2663Process format.issi
PROC format.issi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:2687Process trace.issi
PROC trace.issi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3)
format-gen.occ:2700Process print.issii
PROC print.issii (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:2717Process prints.issii
PROC prints.issii (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:2736Process format.issii
PROC format.issii (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:2766Process trace.issii
PROC trace.issii (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL INT i4)
format-gen.occ:2783Process print.issis
PROC print.issis (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:2797Process prints.issis
PROC prints.issis (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:2813Process format.issis
PROC format.issis (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:2840Process trace.issis
PROC trace.issis (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4)
format-gen.occ:2854Process print.issin
PROC print.issin (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:2868Process prints.issin
PROC prints.issin (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:2884Process format.issin
PROC format.issin (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:2911Process trace.issin
PROC trace.issin (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL INT i3)
format-gen.occ:2925Process print.isss
PROC print.isss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:2935Process prints.isss
PROC prints.isss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:2947Process format.isss
PROC format.isss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:2968Process trace.isss
PROC trace.isss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3)
format-gen.occ:2978Process print.isssi
PROC print.isssi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:2992Process prints.isssi
PROC prints.isssi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:3008Process format.isssi
PROC format.isssi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:3035Process trace.isssi
PROC trace.isssi (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL INT i4)
format-gen.occ:3049Process print.issss
PROC print.issss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:3060Process prints.issss
PROC prints.issss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:3073Process format.issss
PROC format.issss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:3097Process trace.issss
PROC trace.issss (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, VAL []BYTE s4)
format-gen.occ:3108Process print.isssn
PROC print.isssn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:3119Process prints.isssn
PROC prints.isssn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:3132Process format.isssn
PROC format.isssn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:3156Process trace.isssn
PROC trace.isssn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, VAL []BYTE s3)
format-gen.occ:3167Process print.issn
PROC print.issn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, CHAN BYTE out!)
format-gen.occ:3177Process prints.issn
PROC prints.issn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, SHARED CHAN BYTE out!)
format-gen.occ:3189Process format.issn
PROC format.issn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2, RESULT MOBILE []BYTE string)
format-gen.occ:3210Process trace.issn
PROC trace.issn (VAL INT i0, VAL []BYTE s1, VAL []BYTE s2)
format-gen.occ:3220Process print.isn
PROC print.isn (VAL INT i0, VAL []BYTE s1, CHAN BYTE out!)
format-gen.occ:3229Process prints.isn
PROC prints.isn (VAL INT i0, VAL []BYTE s1, SHARED CHAN BYTE out!)
format-gen.occ:3240Process format.isn
PROC format.isn (VAL INT i0, VAL []BYTE s1, RESULT MOBILE []BYTE string)
format-gen.occ:3258Process trace.isn
PROC trace.isn (VAL INT i0, VAL []BYTE s1)
format-gen.occ:3267Process print.in
PROC print.in (VAL INT i0, CHAN BYTE out!)
format-gen.occ:3275Process prints.in
PROC prints.in (VAL INT i0, SHARED CHAN BYTE out!)
format-gen.occ:3285Process format.in
PROC format.in (VAL INT i0, RESULT MOBILE []BYTE string)
format-gen.occ:3300Process trace.in
PROC trace.in (VAL INT i0)
format-gen.occ:3308Process print.s
PROC print.s (VAL []BYTE s0, CHAN BYTE out!)
format-gen.occ:3312Process prints.s
PROC prints.s (VAL []BYTE s0, SHARED CHAN BYTE out!)
format-gen.occ:3318Process format.s
PROC format.s (VAL []BYTE s0, RESULT MOBILE []BYTE string)
format-gen.occ:3327Process trace.s
PROC trace.s (VAL []BYTE s0)
format-gen.occ:3331Process print.si
PROC print.si (VAL []BYTE s0, VAL INT i1, CHAN BYTE out!)
format-gen.occ:3339Process prints.si
PROC prints.si (VAL []BYTE s0, VAL INT i1, SHARED CHAN BYTE out!)
format-gen.occ:3349Process format.si
PROC format.si (VAL []BYTE s0, VAL INT i1, RESULT MOBILE []BYTE string)
format-gen.occ:3364Process trace.si
PROC trace.si (VAL []BYTE s0, VAL INT i1)
format-gen.occ:3372Process print.sii
PROC print.sii (VAL []BYTE s0, VAL INT i1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:3384Process prints.sii
PROC prints.sii (VAL []BYTE s0, VAL INT i1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:3398Process format.sii
PROC format.sii (VAL []BYTE s0, VAL INT i1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:3419Process trace.sii
PROC trace.sii (VAL []BYTE s0, VAL INT i1, VAL INT i2)
format-gen.occ:3431Process print.siii
PROC print.siii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:3447Process prints.siii
PROC prints.siii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:3465Process format.siii
PROC format.siii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:3492Process trace.siii
PROC trace.siii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3)
format-gen.occ:3508Process print.siiii
PROC print.siiii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:3528Process prints.siiii
PROC prints.siiii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:3550Process format.siiii
PROC format.siiii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:3583Process trace.siiii
PROC trace.siiii (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL INT i4)
format-gen.occ:3603Process print.siiis
PROC print.siiis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:3620Process prints.siiis
PROC prints.siiis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:3639Process format.siiis
PROC format.siiis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:3669Process trace.siiis
PROC trace.siiis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, VAL []BYTE s4)
format-gen.occ:3686Process print.siiin
PROC print.siiin (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:3703Process prints.siiin
PROC prints.siiin (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:3722Process format.siiin
PROC format.siiin (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:3752Process trace.siiin
PROC trace.siiin (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL INT i3)
format-gen.occ:3769Process print.siis
PROC print.siis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:3782Process prints.siis
PROC prints.siis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:3797Process format.siis
PROC format.siis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:3821Process trace.siis
PROC trace.siis (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:3834Process print.siisi
PROC print.siisi (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:3851Process prints.siisi
PROC prints.siisi (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:3870Process format.siisi
PROC format.siisi (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:3900Process trace.siisi
PROC trace.siisi (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL INT i4)
format-gen.occ:3917Process print.siiss
PROC print.siiss (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, CHAN BYTE out!)
format-gen.occ:3931Process prints.siiss
PROC prints.siiss (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, SHARED CHAN BYTE out!)
format-gen.occ:3947Process format.siiss
PROC format.siiss (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4, RESULT MOBILE []BYTE string)
format-gen.occ:3974Process trace.siiss
PROC trace.siiss (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, VAL []BYTE s4)
format-gen.occ:3988Process print.siisn
PROC print.siisn (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, CHAN BYTE out!)
format-gen.occ:4002Process prints.siisn
PROC prints.siisn (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, SHARED CHAN BYTE out!)
format-gen.occ:4018Process format.siisn
PROC format.siisn (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3, RESULT MOBILE []BYTE string)
format-gen.occ:4045Process trace.siisn
PROC trace.siisn (VAL []BYTE s0, VAL INT i1, VAL INT i2, VAL []BYTE s3)
format-gen.occ:4059Process print.siin
PROC print.siin (VAL []BYTE s0, VAL INT i1, VAL INT i2, CHAN BYTE out!)
format-gen.occ:4072Process prints.siin
PROC prints.siin (VAL []BYTE s0, VAL INT i1, VAL INT i2, SHARED CHAN BYTE out!)
format-gen.occ:4087Process format.siin
PROC format.siin (VAL []BYTE s0, VAL INT i1, VAL INT i2, RESULT MOBILE []BYTE string)
format-gen.occ:4111Process trace.siin
PROC trace.siin (VAL []BYTE s0, VAL INT i1, VAL INT i2)
format-gen.occ:4124Process print.sis
PROC print.sis (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, CHAN BYTE out!)
format-gen.occ:4133Process prints.sis
PROC prints.sis (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, SHARED CHAN BYTE out!)
format-gen.occ:4144Process format.sis
PROC format.sis (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, RESULT MOBILE []BYTE string)
format-gen.occ:4162Process trace.sis
PROC trace.sis (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2)
format-gen.occ:4171Process print.sisi
PROC print.sisi (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, CHAN BYTE out!)
format-gen.occ:4184Process prints.sisi
PROC prints.sisi (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, SHARED CHAN BYTE out!)
format-gen.occ:4199Process format.sisi
PROC format.sisi (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, RESULT MOBILE []BYTE string)
format-gen.occ:4223Process trace.sisi
PROC trace.sisi (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3)
format-gen.occ:4236Process print.sisii
PROC print.sisii (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, CHAN BYTE out!)
format-gen.occ:4253Process prints.sisii
PROC prints.sisii (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, SHARED CHAN BYTE out!)
format-gen.occ:4272Process format.sisii
PROC format.sisii (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4, RESULT MOBILE []BYTE string)
format-gen.occ:4302Process trace.sisii
PROC trace.sisii (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL INT i4)
format-gen.occ:4319Process print.sisis
PROC print.sisis (VAL []BYTE s0, VAL INT i1, VAL []BYTE s2, VAL INT i3, VAL []BYTE s4, CHAN BYTE out!)