chiark / gitweb /
core: modernize execution code a bit