You are currently not logged in! Enter your authentication credentials below to log in. You need to have cookies enabled to log in.
This is an old revision of the document!
type @PAGE@(type name, type name2)
Does such-and-such.
Does the other thing.
The value it returns.
@PAGE@(1, 2); // will do xxx
default { state_entry() { @PAGE@(1, 2); } }