Adds constrained wrapper for main