mrnkr

import Foundation

func min(a: Int, b: Int) -> Int {
    return a < b ? a : b
}

func adjacentSpots(board: [[Int]], start: [Int]) -> [[Int]] {
    let i = start[0]
    let j = start[1]
    var ret: [[Int]] = []

mrnkr

task type Semaphore is
	entry Init (Initial_Capacity: in Int);
	entry Wait;
	entry Signal;
end
task body Semaphore is
	Remaining_Capacity: Int;
begin
	accept Init (Initial_Capacity: in Int) do
		Remaining_Capacity := Initial_Capacity;

mrnkr

task Readers_Writers is
	procedure Reader (Read: out Int);
	entry Writer (Written: in Int);
	entry Begin_Reading;
	entry Finish_Reading;
end
procedure Reader (Read: out Int) is
begin
	Begin_Reading;
	Read := Shared;

mrnkr

task Readers_Writers is
	procedure Reader (Read: out Int);
	entry Writer (Written: in Int);
	entry Begin_Reading;
	entry Finish_Reading;
end;

procedure Reader (Read: out Int) is
begin
	Begin_Reading;

mrnkr

task Buffer is
	entry Insert (In_Val: in T);
	entry Extract (Out_Val: out T);
end
task body Buffer is
	Data: Array 0..N-1 of Int;
	Top: Int;
	Bottom: Int;
	Length: Int;
	x: T;

mrnkr

task Alice is
end
task body Alice is
begin
	loop
		Yard.Request;
		Walk_Dog;
		Yard.Release;
	end loop
end Alice;

mrnkr

Philosophers: Array 0..4 of Philosopher;

task type Philosopher is
end
task body Philosopher is
begin
	loop
		Table.Enter
		Chopsticks.Request
		Chopsticks.Request

mrnkr

Chopsticks: Array 0..4 of Chopstick;
Philosophers: Array 0..4 of Philosopher;

task type Philosopher is
end
task body Philosopher is
	Left: Int;
	Enumerator.Gimme_My_Number(Left);
	Right: Int := (Left + 1) mod 5;
begin

mrnkr

import UIKit

class Condition {
    var waiting: Bool
    
    init() {
        waiting = false
    }
    
    func wait() {

mrnkr

import UIKit

class Semaphore {
    var n: Int
    
    init(n: Int) {
        self.n = n
    }
    
    func P() {