Fix: a minor bug in handling default parameter value for routine specialization.
Add: random number seeding.