Dev. checkpoint.
Added: abbrs for do-end