(executable
 (name sandbox)
 (public_name sandbox)
 (modules sandbox)
 (libraries rnt)
 (modes exe))